Algebraic graph transformations for formalizing ontology changes and evolving ontologies
نویسندگان
چکیده
منابع مشابه
Algebraic graph transformations for formalizing ontology changes and evolving ontologies
An ontology represents a consensus on the representation of the concepts and axioms of a given domain. This consensus is often reached through an iterative process, each iteration consisting in modifying the current version of the consensus. Furthermore, frequent and continuous changes are also occurring when the represented domain evolves or when new requirements have to be considered. Consequ...
متن کاملAlgebraic Graph Transformations for Merging Ontologies
The conception of an ontology is a complex task influenced by numerous factors like the point of view of the authors or the level of details. Consequently, several ontologies have been developed to model identical or related domains leading to partially overlapping representations. This divergence of conceptualization requires the study of ontologies merging in order to create a common reposito...
متن کاملFormalizing refactorings with graph transformations
The widespread interest in refactoring —transforming the source-code of an objectoriented program without changing its external behaviour— has increased the need for a precise definition of refactoring transformations and their properties. In this paper we explore the use of graph rewriting for specifying refactorings and their effect on programs. We introduce a graph representation for program...
متن کاملFormalizing Neural Networks using Graph Transformations
In this paper a unifying framework for the formal-ization of diierent types of Neural Networks and the corresponding algorithms for computation and training is presented. The used Graph Transformation System ooers a formalism to verify properties of the networks and their algorithms. In addition the presented methodology can be used as a tool to visualize and design diierent types of networks a...
متن کاملAlgebraic Graph Transformations with Inheritance
In this paper, we propose a new approach to inheritance in the context of algebraic graph transformation by providing a suitable categorial framework which reflects the semantics of class-based inheritance in software engineering. Inheritance is modelled by a type graph T that comes equipped with a partial order. Typed graphs are arrows with codomain T which preserve graph structures up to inhe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge-Based Systems
سال: 2015
ISSN: 0950-7051
DOI: 10.1016/j.knosys.2014.10.007